Technique invented by Paul Cohen for proving consistency and independence results.
In baseball, when a runner is forced to vacate his base—and try to advance—because the batter became a runner.